Boolean analysis

Results: 158



#Item
4116th Canadian Conference on Computational Geometry, 2004 An Average Running Time Analysis of a Backtracking Algorithm to Calculate the Measure of the Union of Hyperrectangles in Dimensions Susumu Suzuki 

16th Canadian Conference on Computational Geometry, 2004 An Average Running Time Analysis of a Backtracking Algorithm to Calculate the Measure of the Union of Hyperrectangles in Dimensions Susumu Suzuki 

Add to Reading List

Source URL: www.cccg.ca

Language: English - Date: 2004-08-23 15:27:23
42ENGG1015: Homework 2 Dr. Kenneth Wong / Dr. Hayden So Due: 5pm, Nov 3, 2010 Turn in your homework at boxes outside Rm712, CYC Building Question 1

ENGG1015: Homework 2 Dr. Kenneth Wong / Dr. Hayden So Due: 5pm, Nov 3, 2010 Turn in your homework at boxes outside Rm712, CYC Building Question 1

Add to Reading List

Source URL: www.eee.hku.hk

Language: English - Date: 2010-10-22 02:40:08
43Interval Analysis on Directed Acyclic Graphs for Global Optimization Hermann Schichl and Arnold Neumaier Institut f¨ ur Mathematik, Universit¨at Wien Strudlhofgasse 4, A-1090 Wien, Austria

Interval Analysis on Directed Acyclic Graphs for Global Optimization Hermann Schichl and Arnold Neumaier Institut f¨ ur Mathematik, Universit¨at Wien Strudlhofgasse 4, A-1090 Wien, Austria

Add to Reading List

Source URL: www.mat.univie.ac.at

Language: English - Date: 2003-12-05 12:03:46
44Conducting and Visualizing Set-Theoretic Social Research with Python Claude Rubinson University of Houston—Downtown

Conducting and Visualizing Set-Theoretic Social Research with Python Claude Rubinson University of Houston—Downtown

Add to Reading List

Source URL: gator.uhd.edu

Language: English - Date: 2014-10-05 16:33:55
451 An Efficient Optimization Framework for Multi-Region Segmentation based on Lagrangian Duality Johannes Ul´en, Petter Strandmark and Fredrik Kahl

1 An Efficient Optimization Framework for Multi-Region Segmentation based on Lagrangian Duality Johannes Ul´en, Petter Strandmark and Fredrik Kahl

Add to Reading List

Source URL: www.medtechwest.se

Language: English - Date: 2013-10-29 04:26:53
46Constructing Kirq, software for set-theoretic social research: A software development travelogue Claude Rubinson University of Houston—Downtown

Constructing Kirq, software for set-theoretic social research: A software development travelogue Claude Rubinson University of Houston—Downtown

Add to Reading List

Source URL: gator.uhd.edu

Language: English - Date: 2013-03-18 20:39:07
47Qualitative Comparative Analysis Claude Rubinson University of Houston—Downtown Houston, TX Emory University

Qualitative Comparative Analysis Claude Rubinson University of Houston—Downtown Houston, TX Emory University

Add to Reading List

Source URL: gator.uhd.edu

Language: English - Date: 2011-05-16 18:07:11
48Numeric Bounds Analysis with Conflict-Driven Learning? Vijay D’Silva?? , Leopold Haller, Daniel Kroening, and Michael Tautschnig Computer Science Department, University of Oxford

Numeric Bounds Analysis with Conflict-Driven Learning? Vijay D’Silva?? , Leopold Haller, Daniel Kroening, and Michael Tautschnig Computer Science Department, University of Oxford

Add to Reading List

Source URL: www.cs.ox.ac.uk

Language: English - Date: 2012-07-25 13:39:19
49Social Networks–444 Lattices and dimensional representations: matrix decompositions and ordering structures Philippa E. Pattison a,∗ , Ronald L. Breiger b a

Social Networks–444 Lattices and dimensional representations: matrix decompositions and ordering structures Philippa E. Pattison a,∗ , Ronald L. Breiger b a

Add to Reading List

Source URL: www.u.arizona.edu

Language: English - Date: 2002-09-19 13:05:38
50Specification of Zinc and MiniZinc Zinc version (rotdMiniZinc version 1.3 Nicholas Nethercote Kim Marriott

Specification of Zinc and MiniZinc Zinc version (rotdMiniZinc version 1.3 Nicholas Nethercote Kim Marriott

Add to Reading List

Source URL: www.minizinc.org

Language: English - Date: 2011-02-10 23:26:00